Feeds to Scour
SubscribedAll
Scoured 9563 posts in 784.4 ms
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.ioยท1d
๐Ÿ”ฌLean
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.orgยท1d
โš”๏ธLean Tactics
Preview
Report Post
Treating Functions as Vectors in Hilbert Space
hackaday.comยท1d
๐Ÿ“Linear Algebra
Preview
Report Post
JavaScript vs Go: A Deep Dive into Syntax and Philosophy
dev.toยท5hยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
Preview
Report Post
Port of Statistical Rethinking (2nd edition) code to Julia
shmuma.github.ioยท3hยท
Discuss: Hacker News
ฮปLambda Formalization
Preview
Report Post
Algebraic Topology 1: Homotopy Equivalence
youtube.comยท9h
๐Ÿ•ธ๏ธAlgebraic Topology
Preview
Report Post
What F# Knows About Functors and What Comes Next
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ปProgramming languages
Preview
Report Post
Mathematicians spent 2025 exploring the edge of mathematics
newscientist.comยท1d
๐Ÿ“šArchive Mathematics
Preview
Report Post
PhD Thesis An INFORMATION THEORETIC APPROACH TO THE EXPRESSIVENESS OF PROGRAMMING LANGUAGES by Joseph Ray Davidson July 2015
macs.hw.ac.ukยท3d
๐Ÿ’ปProgramming languages
Preview
Report Post
Unknown Knowns: Five Ideas You Can't Unsee
linch.substack.comยท1dยท
Discuss: Substack
๐Ÿ”ฒProof Irrelevance
Preview
Report Post
Resolving Names Once and for All
thunderseethe.devยท1dยท
Discuss: r/programming
โฌ†๏ธLambda Lifting
Preview
Report Post
An Inequality Union Find Inspired by Atomic Asymmetric Completion
philipzucker.comยท6d
๐ŸคUnification Algorithms
Preview
Report Post
GHC 9.12.3 is now available
haskell.orgยท1d
๐Ÿ’งLiquidhaskell
Preview
Report Post
The Case for Snake Case: A Kolmogorov Complexity Argument
modulovalue.comยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
Preview
Report Post
Keeping Probabilities Honest: The Jacobian Adjustment
towardsdatascience.comยท2d
๐ŸŽฏArithmetic Coding Theory
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.orgยท5h
๐Ÿ’งLiquid Types
Preview
Report Post
Gaussian concentration bounds for probabilistic cellular automata | Journal of Statistical Physics
link.springer.comยท1d
๐Ÿ”ฒCellular Automata
Preview
Report Post
Understanding Vibe Proving | Towards Data Science
towardsdatascience.comยท5d
๐ŸŽฏProof Tactics
Preview
Report Post
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
arxiv.orgยท3d
๐Ÿ“œProof Carrying Code
Preview
Report Post
Tanya Khovanova's Math Blog
blog.tanyakhovanova.comยท2d
๐Ÿ“Mathematical Art
Preview
Report Post